61. Advances in Computational Intelligence :
پدیدآورنده : edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computers.,Logic, Symbolic and mathematical.
62. Agent-Based Defeasible Control in Dynamic Environments.
پدیدآورنده : Dov M Gabbay
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
63. Algebra, logic, and combinatorics
پدیدآورنده : \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,ج‍ب‍ر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,
64. Algebraic analysis of basic propositional logic
پدیدآورنده : by: Majid Alizadeh,^AAlizadeh, Majid
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
66. An introduction to analysis
پدیدآورنده : Zaring, Wilson M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
67. An introduction to analysis
پدیدآورنده : Zaring, Wilson M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
68. An invitation to applied category theory :
پدیدآورنده : Brendan Fong, David I. Spivak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
69. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
70. Analysis and Synthesis of Logics
پدیدآورنده : \ by Walter Carnielli...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
71. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Mathematical analysis,، Logic, symbolic and mathematical
رده :
QA
300
.
5
.
A53
72. Analysis and logic /
پدیدآورنده : edited by Catherine Finet & Christian Michaux ; authors, C. Ward Henson ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical analysis.
73. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors: C. Ward Henson... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A522
74. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A536
2002
75. Analysis and synthesis of logics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
76. Analysis and synthesis of logics: how to cut and paste reasoning systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A634
2008
77. Analysis and synthesis of logics :how to cut and paste reasoning systems /Walter Carnielli ... [et al.].
پدیدآورنده : مولف
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Logic, Symbolic and mathematical.
78. Appalachian set theory :
پدیدآورنده : James Cummings, Ernest Schimmerling
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA248
.
A66
2013
79. Artificial intelligence for big data :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
رده :
QA76
.
9
.
B45
.
D474
2018eb
80. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
